IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 10: AC Circuits Cannot Compute PARITY
نویسندگان
چکیده
The precise result we will prove is that the PARITY language cannot be decided by AC circuits, even if they are allowed to be of size 2 o(1) , even if they are allowed to include gates that test whether the sum of their inputs is non-zero modulo 3, and even if they are allowed to be completely non-uniform. Since the NC parity circuits are very uniform, this is more than enough to separate AC from NC under any kind of uniformity condition.
منابع مشابه
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 2: The Complexity of Some Problems
We first present a machine that decides parity. The machine scans the input from left to right. After looking at each bit, the machine remembers whether the number of 1’s seen so far is odd or even. Initially, the number is 0 and therefore even. The machine then toggles between even and odd for each 1 seen in the input, and does nothing for each 0. This even/odd toggle can be incorporated into ...
متن کاملIAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 5: The Landscape of Complexity Classes
The inclusions L ⊆ NL and P ⊆ NP are trivial since deterministic machines can be viewed as special kinds of nondeterministic machines. The equality PSPACE = NPSPACE is a consequence of Savitch’s Theorem and the inclusion NL ⊆ P can also be obtained by that same idea of reducing to graph reachability. The fact that EXP contains PSPACE, and therefore NPSPACE, was pointed out just before the proof...
متن کاملIAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Advanced Course on Computational Complexity Lecture 14: Lower Bounds for Tree Resolution
The Resolution proof system can be defined as a restriction of the Sequent Calculus that allows only variables to appear as formulas in the sequents and that uses only the cut rule. (This is not the usual definition of Resolution but it is equivalent to it.) What can we do with such limited proofs? One thing we cannot do is start with the axioms and build larger formulas because we cannot intro...
متن کاملIAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Advanced Course on Computational Complexity Lecture 13: Polynomial-Size Frege Proofs of the Pigeonhole Principle
The pigeonhole principle states that there is no one-to-one function from a set of size n to a set of size n − 1. In other words, if n pigeons are put into n − 1 holes, then at least one hole will be occupied by more than one pigeon. This simple fact has an astonishing variety of applications in mathematics. It also corresponds to a tautology that has been used extensively in the study of the c...
متن کاملLecture 11 : Circuit Lower
There are specific kinds of circuits for which lower bounds techniques were successfully developed. One is small-depth circuits, the other is monotone circuits. For constant-depth circuits with AND,OR,NOT gates, people proved that they cannot compute simple functions like PARITY [3, 1] or MAJORITY. For monotone circuits, Alexander A. Razborov proved that CLIQUE, an NP-complete problem, has expo...
متن کامل